Swarming: Flexible Roaming Plans
نویسندگان
چکیده
منابع مشابه
Query Plans with Roaming Sources: Shifting Streams of Data
Wireless embedded systems provide an opportunity for the collection of useful data from a wide range of mobile devices. However, such devices may often have strict limits on their functionality, processing power, battery life, and wireless bandwidth. We present a method for distributing mobile query operators to enhance performance in a system consisting of many such mobile devices while suppor...
متن کاملFlexible Dispatch of Disjunctive Plans
Many systems are designed to perform both planning and execution: they include a plan deliberation component to produce plans that are then dispatched to an execution component, or executive, which is responsible for the performance of the actions in the plan. When the plans have temporal constraints, dispatch may be non-trivial, and the system may include a distinct dispatcher, which is respon...
متن کاملVerifying Flexible Timeline-Based Plans
The synthesis of flexible temporal plans has demonstrated wide applications possibilities in heterogeneous domains. We are currently studying the connection between plan generation and execution from the particular perspective of verifying a flexible plan before actual execution. This paper explores how a model-checking verification tool, based on UPPAALTIGA, is suitable for verifying flexible ...
متن کاملCustomized Plans Transmitted by Flexible Refinement
So far, well-founded planning concentrates ultimately on the generation of action sequences which produce desired behaviors. But, to promote a planner's success in human assistance and support, varied representational and operational flexibility is needed. The paper argues that a compositional temporal logic framework is well-suited to reach the necessary flexibility. Planning is viewed as an i...
متن کاملRobust Execution of Contingent, Temporally Flexible Plans
Many applications of autonomous agents require groups to work in tight coordination. To be dependable, these groups must plan, carry out and adapt their activities in a way that is robust to failure and uncertainty. Previous work has produced contingent plan execution systems that provide robustness during their plan extraction phase, by choosing between functionally redundant methods, and duri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Bacteriology
سال: 2012
ISSN: 0021-9193
DOI: 10.1128/jb.02063-12